a:- asserta(test('Test java XSB 4')).
